Automated Test Oracle Methods
نویسنده
چکیده
Software testing is used to improve software quality by finding fault in the software. To verify the software behavior, testers require test oracle, which is a reliable source of expected software behavior and provides outputs for any input specified in the software specifications and a comparator to verify actual results generated by the software. While test automation requires automated oracle support, oracle automation is considered as a challenging task. These challenges include the automation required in expected output generation and results verification. This paper presents the overview of test oracle and the methods available for the same.
منابع مشابه
An automated framework for software test oracle
Context: One of the important issues of software testing is to provide an automated test oracle. Test oracles are reliable sources of how the software under test must operate. In particular, they are used to evaluate the actual results that produced by the software. However, in order to generate an automated test oracle, oracle challenges need to be addressed. These challenges are output-domain...
متن کاملTranslating Object-z Speciications to Passive Test Oracles Translating Object-z Speciications to Passive Test Oracles
This report describes the translation of formal speciications of container classes to passive test oracles. Speciically, we use Object-Z for speciications and C++ for oracles. We discuss several practical issues for the use of formal speciications in test oracle generation. We then present the translation process for three passive oracle models and evaluate how each model satisses our goals of ...
متن کاملConstraint Programming for Random Testing of a Trading System
Financial markets use complex computer trading systems whose failures can cause serious economic damage, making reliability a major concern. Automated random testing has been shown to be useful in finding defects in these systems, but its inherent test oracle problem (automatic generation of the expected system output) is a drawback that has typically prevented its application on a larger scale...
متن کاملAutomated metamorphic testing on the analyses of feature models
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged ...
متن کاملUsing Denotational Semantics in the Validation of the Compiler for a Mutation-Oriented Language
Systems which produce large amount of output are very difficult to teste due to the expense of checking whether the outputs are correct or not. In other words, there is no simple oracle that can establish the acceptance of the outputs. For such systems, one plausible alternative is to use a second implementation as an automated oracle. The automated oracle is then run with the test cases applie...
متن کامل